Extending LSCs for Behavioral Signature Modeling
نویسندگان
چکیده
Driven by technical innovation, embedded systems are becoming increasingly interconnected and have to be secured against failures and threats from the outside world. For this purpose, we have defined an integrated model-based development process for security monitors which requires an expressive, formally well-defined, and easy to learn behavioral signature language. In this paper, we demonstrate that Live Sequence Charts (LSCs) are adequate for the specification of behavioral signatures. To satisfy all requirements and enable compact modeling, we extend LSCs by concepts that fit well to the spirit of LSCs.
منابع مشابه
Evaluating a Natural Language Interface for Behavioral Programming
In behavioral programming, scenarios are used to program the behavior of reactive systems. Behavioral programming originated in the language of live sequence charts (LSC), a visual formalism based on multi-modal scenarios, and supported by a mechanism for directly executing a system described by a set of LSCs. In an exploratory experiment, we compare programming using LSCs with procedural progr...
متن کاملThe Play-in/Play-out Approach and Tool: Specifying and Executing Behavioral Requirements
Two kinds of behavior in object-oriented analysis and design are identified and discussed in [1,2]: inter-object behavior, which describes the interaction between objects per scenario, and intra-object behavior, which describes the way a single object behaves under all possible circumstances. For modeling intra-object behavior, most object-oriented modeling approaches adopt statecharts [3,4]. F...
متن کاملTitle: Planning a Production Line with Lscs Planning a Production Line with Lscs *
We display how LSCs can be used to analyze a production line systematically and synthesize a scheduler from the model. This work demonstrates how the features of a scenario based object oriented modeling language are exploited in this domain. It also shows advantages of the play-in/play-out methodology combined with verification methods. Planning a production line with LSCs ∗ Hillel Kugler and ...
متن کاملPlanning a production line with LSCs
Using the Cybernetix case study, we display how LSCs can be used to analyze a production line systematically. This work demonstrates how the features of a scenario based object oriented modeling language are exploited in this domain. It also shows advantages of the play-in/play-out methodology.
متن کاملThe Behavioral Signature of Permags: Examining the Behavioral Characteristics in Psychometrically Identified Putative Schizot
Title of Thesis: THE BEHAVIORAL SIGNATURE OF PERMAGS: EXAMINING THE BEHAVIORAL CHARACTERISTICS OF PSYCHOMETRICALLY IDENTIFIED PUTATIVE SCHIZOTYPES Clifton Chamberlin, Master of Arts, 2005 Thesis directed by: Associate Professor Jack Blanchard Department of Psychology Perceptual aberrations and magical ideation have been found to be indicators of Meehl’s construct of schizotypy and, more general...
متن کامل